get_required_map_attribute

function get_required_map_attribute(instance: instance, I: I, name: text): map<gtv, gtv>